Cayley-Hamilton theorem for 2 × 2 matrices over the Grassmann algebra

The Cayley-Hamilton theorem

Theorem 1. Let A be a n × n matrix, and let p(λ) = det(λI − A) be the characteristic polynomial of A. Then p(A) = 0.

The Cayley-Hamilton Theorem

This document contains a proof of the Cayley-Hamilton theorem based on the development of matrices in HOL/Multivariate Analysis.

The Cayley–Hamilton Theorem

Grassmann-Cayley algebra for modelling systems

After a brief introduction of lhe Grassmann-Cayley OI' double algebra we proceed to demonstrate its use for modelling systems of cameras. In the case of three cameras, we give a new interpretation of the trifocal tensors and study in detail some of the constraints that they satisfy. In particular we prove that simple subsets of those constraints characterize the trifocal tensors, in other words...

Cayley-Hamilton Theorem